a - [a{a-(a-1¯)}] | Prostuti